Binary function - PDFSEARCH.IO - Document Search Engine

Binary function
Results: 315

#	Item
271	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
272	Foundational Math I – Segment 1 Michael L. Carroll Feb 17, 2003 Add to Reading List Source URL: www.csz.com Language: English - Date: 2002-12-14 09:24:51 Equivalence relation Binary relation Function Finitary relation Implementation of mathematics in set theory Trichotomy Mathematics Mathematical logic Order theory
273	Binary Theta Series and Modular Forms with Complex Multiplication Abstract: Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2014-02-22 14:22:41 Modular forms Elliptic functions Class field theory Number theory Automorphic forms Complex multiplication Theta function Binary quadratic form Metaplectic group Abstract algebra Mathematical analysis Mathematics
274	Associative-Commutative Rewriting on Large Terms Steven Eker, SRI Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2003-06-22 06:25:40 Multiset Associative containers Mathematics Function Binary tree
275	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
276	SoftCOM[removed]8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:41:14 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
277	Inductive-inductive Definitions Fredrik Nordvall Forsberg⋆ and Anton Setzer⋆ Swansea University {csfnf, a.g.setzer}@swansea.ac.uk Abstract. We present a principle for introducing new types in type Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-09-29 18:22:59 Deduction Binary operations Entailment Logical consequence Metalogic Mathematical induction Function Generic programming Inductive reasoning Logic Mathematics Proof theory
278	[removed]SHORTER NOTICES. Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:53:00 Function Invariant of a binary form Mathematics Invariant theory Invariant
279	CONCRETE GENERIC FUNCTIONALS: PRINCIPLES, DESIGN AND APPLICATIONS Raymond T. Boute Add to Reading List Source URL: www.funmath.be Language: English - Date: 2012-07-25 11:51:59 Functional analysis Higher-order functions Binary operations Functional Function Continuous function Operator Generic programming FP Mathematics Mathematical analysis Functions and mappings
280	c ESO[removed]Astronomy & Astrophysics manuscript no. EtaCha Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-03-03 20:08:42 Space Physical cosmology Stellar astronomy Dark matter Exotic matter Initial mass function Binary star Cosmic distance ladder N-body simulation Astronomy Star types Physics

UPDATE